The philosophy of modality investigates necessity and possibility, and related notions--are they objective features of mind-independent reality? If so, are they irreducible, or can modal facts be explained in other terms? This volume presents new work on modality by established leaders in the field and by up-and-coming philosophers. Between them, the papers address fundamental questions concerning realism and anti-realism about modality, the nature and basis of facts about what is possible and what is necessary, the nature of modal knowledge, modal (...) logic and its relations to necessary existence and to counterfactual reasoning. The general introduction locates the individual contributions in the wider context of the contemporary discussion of the metaphysics and epistemology of modality. (shrink)

This paper defends a deflationary conception of properties, according to which a property exists if and only if there could be a predicate with appropriate satisfaction conditions. I argue that purely general properties and relations necessarily exist and discuss the bearing of this conception of properties on the interpretation of higher-order logic and on Quine's charge that higher-order logic is ‘set theory in sheep's clothing’. On my approach, the usual semantics involves a false assimilation of the logic to set theory. (...) I conclude with remarks about implications for the programme of founding mathematical theories in higher-order logic plus abstraction principles. (shrink)

The present study examines the development of complex sentences with non-finite clause combining with particular focus on clause chaining, in narratives of 40 Turkish-speaking 4- to 11-year-olds and six adults elicited by a wordless picture book. Results show a gradual increase by age in the variety of clauses combined, the length of the complex sentences and their frequency of use. Clause chains formed with converbal clauses are the earliest and most frequent type of clause combinations, already present in 4-year-olds’ complex (...) sentences with 1-non-finite clause. Older children’s and adults’ 2- or 3-non-finite clause complex sentences consist of some combinations of adverbial, complement, relative and converbal clauses. Developmentally, clause chains establish first, aspectual-temporal continuity, then temporal-causal continuity. Sentence-internal and cross-sentence-boundary referential continuities are present early, from age 4 onwards. These findings are discussed in terms of the demands of narrative organization as well as the syntactic and semantic complexity of the clause combination devices in Turkish. (shrink)

The youth of Bentham (1776-1789).--The evolution of the utilitarian doctrine from 1789 to 1815.--Philosophic radicalism.

A word-by-word human sentence processing complexity metric is presented. This metric formalizes the intuition that comprehenders have more trouble on words contributing larger amounts of information about the syntactic structure of the sentence as a whole. The formalization is in terms of the conditional entropy of grammatical continuations, given the words that have been heard so far. To calculate the predictions of this metric, Wilson and Carroll's (1954) original entropy reduction idea is extended to infinite languages. This is demonstrated with (...) a mildly context-sensitive language that includes relative clauses formed on a variety of grammatical relations across the Accessibility Hierarchy of Keenan and Comrie (1977). Predictions are derived that correlate significantly with repetition accuracy results obtained in a sentence-memory experiment (Keenan & Hawkins, 1987). (shrink)

Must we believe in logical necessity? I examine an argument for an affirmative answer given by Ian McFetridge in his posthumously published paper 'Logical Necessity: Some Issues', and explain why it fails, as it stands, to establish his conclusion. I contend, however, that McFetridge's argument can be effectively buttressed by drawing upon another argument aimed at establishing that we ought to believe that some propositions are logically necessary, given by Crispin Wright in his paper 'Inventing Logical necessity'. My contention is (...) that Wright's argument, whilst it likewise fails, as it stands, to establish the necessity of necessity, established enough to close off what appears to me to be the only effective-looking sceptical response to McFetridge's original argument. My paper falls into four principal parts. In the first I expound McFetridge's argument and draw attention to the possibility of a certain type of sceptical counter to it. In the second, I begin a response to this sceptical move, taking it as far as I can without reliance upon argument of the kind given by Wright. Turning, then, to Wright's argument, I explain to what extent I think it is successful and seek to rebut some objections to the argument which, were they well-taken, would show that the argument cannot enjoy even the partial success I which to claim for it. Finally, I return to my main theme and try to show, with the assistance of what I take to be solidly established by Wright's argument, that the sceptical response collapses. (shrink)

I investigate two asymmetrical approaches to knowledge of absolute possibility and of necessity--one which treats knowledge of possibility as more fundamental, the other according epistemological priority to necessity. Two necessary conditions for the success of an asymmetrical approach are proposed. I argue that a possibility-based approach seems unable to meet my second condition, but that on certain assumptions--including, pivotally, the assumption that logical and conceptual necessities, while absolute, do not exhaust the class of absolute necessities--a necessity-based approach may be able (...) to do so. (shrink)

The neo-Fregean program in the philosophy of mathematics seeks a foundation for a substantial part of mathematics in abstraction principles—for example, Hume’s Principle: The number of Fs D the number of Gs iff the Fs and Gs correspond one-one—which can be regarded as implicitly definitional of fundamental mathematical concepts—for example, cardinal number. This paper considers what kind of abstraction principle might serve as the basis for a neo- Fregean set theory. Following a brief review of the main difficulties confronting the (...) most widely discussed proposal to date—replacing Frege’s inconsistent Basic Law V by Boolos’s New V which restricts concepts whose extensions obey the principle of extensionality to those which are small in the sense of being smaller than the universe—the paper canvasses an alternative way of implementing the limitation of size idea and explores the kind of restrictions which would be required for it to avoid collapse. (shrink)

In “Double Vision Two Questions about the Neo-Fregean Programme”, John MacFarlane’s raises two main questions: (1) Why is it so important to neo-Fregeans to treat expressions of the form ‘the number of Fs’ as a species of singular term? What would be lost, if anything, if they were analysed instead as a type of quantifier-phrase, as on Russell’s Theory of Definite Descriptions? and (2) Granting—at least for the sake of argument—that Hume’s Principle may be used as a means of implicitly (...) defining the number operator, what advantage, if any, does adopting this course possess over a direct stipulation of the Dedekind-Peano axioms? This paper attempts to answer them. In response to the first, we spell out the links between the recognition of numerical terms as vehicles of singular reference and the conception of numbers as possible objects of singular, or object-directed, thought, and the role of the acknowledgement of numbers as objects in the neo-Fregean attempt to justify the basic laws of arithmetic. In response to the second, we argue that the crucial issue concerns the capacity of either stipulation—of Hume’s Principle, or of the Dedekind-Peano axioms—to found knowledge of the principles involved, and that in this regard there are crucial differences which explain why the former stipulation can, but the latter cannot, play the required foundational role. (shrink)

This article examines cognitive process models of human sentence comprehension based on the idea of informed search. These models are rational in the sense that they strive to find a good syntactic analysis quickly. Informed search derives a new account of garden pathing that handles traditional counterexamples. It supports a symbolic explanation for local coherence as well as an algorithmic account of entropy reduction. The models are expressed in a broad framework for theories of human sentence comprehension.

Michael Dummett mounts, in Frege: Philosophy of Mathematics, a concerted attack on the attempt, led by Crispin Wright, to salvage defensible versions of Frege's platonism and logicism in which Frege's criterion of numerical identity plays a leading role. I discern four main strands in this attack—that Wright's solution to the Caesar problem fails; that explaining number words contextually cannot justify treating them as enjoying robust reference; that Wright has no effective counter to ontological reductionism; and that the attempt is vitiated (...) by the unavoidable impredicativity of its leading principle—and argue that none of them succeeds. (shrink)

In this symposium Michael Hand presents a rejoinder to criticisms of his ‘Religious Upbringing Reconsidered’ (Journal of Philosophy of Education, 36.4) by Jim Mackenzie, Peter Gardner and Charlene Tan. Defending the idea of the logical possibility of non-indoctrinatory religious upbringing, he attempts to show that none of their various objections is successful. Mackenzie, Gardner and Tan each offer a response.

How are philosophical questions about what kinds of things there are to be understood and how are they to be answered? This paper defends broadly Fregean answers to these questions. Ontological categories—such as object , property , and relation —are explained in terms of a prior logical categorization of expressions, as singular terms, predicates of varying degree and level, etc. Questions about what kinds of object, property, etc., there are are, on this approach, reduce to questions about truth and logical (...) form: for example, the question whether there are numbers is the question whether there are true atomic statements in which expressions function as singular terms which, if they have reference at all, stand for numbers, and the question whether there are properties of a given type is a question about whether there are meaningful predicates of an appropriate degree and level. This approach is defended against the objection that it must be wrong because makes what there depend on us or our language. Some problems confronting the Fregean approach—including Frege’s notorious paradox of the concept horse—are addressed. It is argued that the approach results in a modest and sober deflationary understanding of ontological commitments. (shrink)

Ever since Kenneth Goodpaster published his article "On Being Morally Considerable," environmental ethicists have been engaged in a debate over whether animals, plants, and other natural objects matter morally (Goodpaster 1978). Many, if not most, theorists have treated the problem of moral considerability as a problem of status, arguing that earlier ethical positions have unjustifiably given privileged status to one group of beings over others. They have then proceeded in one of two ways. Either they have appealed to intrinsic value (...) and absolute ends, suggesting that there are somehow non-anthropocentric, objective values "out there," outside of human considerations; or they have appealed to subjective or .. (shrink)

On pourrait définir la nécessité absolue comme la vérité dans absolument tous les mondes possibles sans restriction. Mais nous devrions être capables de l’expliquer sans invoquer les mondes possibles. J’envisage trois definitions alternatives de : « Il est absolument nécessaire que p » et défends une définition contrefactuelle généralisée : ∀q(q□→p).Je montre que la nécessité absolue satisfait le principe S5 et soutiens que la nécessité logique est absolue. Je discute ensuite des relations entre la nécessité logique et la nécessité métaphysique, (...) en expliquant comment il peut y avoir des nécessités absolues non logiques. J’esquisse également une théorie essentialiste selon laquelle la nécessité a son fondement dans la nature des choses. Je discute certaines de ses conséquences, y compris concernant l’existence nécessaire de certaines propriétés et celle de certains objets. (shrink)

At least some of us, at least some of the time—when not in the grip of radical sceptical doubt—are inclined to believe that we know, for example, that if we infer a conclusion from two true premises, one a conditional whose consequent is that conclusion and the other the antecedent of that conditional, then our conclusion must be true, or that we know similar things about other simple patterns of inference. If we do indeed have knowledge of this sort, it (...) is what I mean by logical knowledge. Logical knowledge is, roughly speaking, knowledge about logic—such as knowledge that a certain principle of inference necessarily preserves truth, or that every proposition of a certain form must be true—and so is not the same thing as knowledge that is gained by using logic, i.e. inferential knowledge. That is not to say, of course, that logical knowledge can't be inferential. On the contrary, it is barely open to question that—if there is any logical knowledge at all—there is a lot of inferential logical knowledge. For example, if we know that the introduction and elimination principles for the conditional are truth-preserving, we can surely get to know, by inference, that the principle of hypothetical syllogism is so too, not to mention other, less obvious and more recondite, examples of putative logical knowledge. (shrink)

One kind of structuralism holds that mathematics is about structures, conceived as a type of abstract entity. Another denies that it is about any distinctively mathematical entities at all—even abstract structures; rather it gives purely general information about what holds of any collection of entities conforming to the axioms of the theory. Of these, pure structuralism is most plausibly taken to enjoy significant advantages over platonism. But in what appears to be its most plausible—modalised—version, even restricted to elementary arithmetic, it (...) requires defence of a very strong possibility claim: that there could be a completed w-sequence of concrete objects. There are very serious epistemological difficulties in the way of providing the requisite defence. (shrink)

Many geoengineering projects have been proposed to address climate change, including both solar radiation management and carbon removal techniques. Some of these methods would introduce additional compounds into the atmosphere or the ocean. This poses a difficult conundrum: Is it permissible to remediate one pollutant by introducing a second pollutant into a system that has already been damaged, threatened, or altered? We frame this conundrum as the ‘‘Problem of Permissible Pollution.’’ In this paper, we explore this problem by taking up (...) ocean fertilization and advancing an argument that rests on three moral claims. We first observe that pollution is, in many respects, a context-dependent matter. This observation leads us to argue for a ‘‘justifiability criterion.’’ Second, we suggest that remediating actions must take into account the antecedent conditions that have given rise to their consideration. We call this second observation the ‘‘antecedent conditions criterion.’’ Finally, we observe that ocean fertilization, and other related geoengineering technologies, propose not strictly to clean up carbon emissions, but actually to move the universe to some future, unknown state. Given the introduced criteria, we impose a ‘‘future-state constraint’’. We conclude that ocean fertilization is not an acceptable solution for mitigating climate change. In attempting to shift the universe to a future state geoengineering sidelines consideration of the antecedent conditions that have given rise to it —conditions, we note, that in many cases involve unjustified carbon emissions —and it must appeal to an impossibly large set of affected parties. (shrink)

A "moral hazard" is a market failure most commonly associated with insurance, but also associated by extension with a wide variety of public policy scenarios, from environmental disaster relief, to corporate bailouts, to natural resource policy, to health insurance. Specifically, the term "moral hazard" describes the danger that, in the face of insurance, an agent will increase her exposure to risk. If not immediately clear, such terminology invokes a moral notion, suggesting that changing one's exposure to risk after becoming insured (...) is morally problematic. This paper challenges that position. It argues that there is nothing inherently moral about the moral hazard. It does so by arguing against three proposed claims regarding the wrongness of the moral hazard: first, the view that conceives of it as deception; then, the view that conceives of it as cheating; and finally, the view that conceives of it as stealing. (shrink)

In this paper I argue that applied philosophers hoping to develop a stronger role in public policy formation can begin by aligning their methods with the tools employed in the policy sciences. I proceed first by characterizing the standard view of policymaking and policy education as instrumentally oriented toward the employment of specific policy tools. I then investigate pressures internal to philosophy that nudge work in applied philosophy toward the periphery of policy debates. I capture the dynamics of these pressures (...) by framing them as the “dilemma dilemma” and the “problem problem.” Seeking a remedy, I turn to the interdisciplinarity of a unique approach to policymaking generally known as the “policy sciences.” Finally, I investigate the case of bioethics, an instance where philosophy has made decent headway with policymakers. From this I draw parallels to public policy. I suggest that because the policy sciences are essentially analchemist’s brew of academic fields, and because philosophy covers many of the foundational questions associated with these fields, it is only natural that applied philosophers should begin collaborations with other applied academics by adopting the strategies that have so successfully applied in other theoretical fields. (shrink)

In the opening chapter of Subject and Predicate in Logic and Grammar, [1] Professor Strawson develops an explanation of the subjectpredicate distinction on the basis of a supposedly more fundamental distinction or contrast between, on the one hand, spatio-temporal particulars and, on the other, general concepts applicable to such particulars. At a basic level, he argues, these contrasted items occupy a central position in our thought about the world. They form the constituents of a fundamental type of judgment about the (...) worldcomprising judgments to the effect that a certain spatio-temporal particular (pair, triple, etc., of such particulars) exemplifies a certain general concept. The basic class of subject-predicate sentences-the class for which the explanation is initially presented-comprises, Strawson claims, those sentences which are apt for the expression of judgments of this fundamental type. With respect to sentences of this basic class, a subject is, in effect, defined to be an expression which serves to specify the spatio-temporal particular (or one of the spatiotemporal particulars) in question in whatever judgment the sentence expresses, and a predicate is defined to be an expression which serves to specify the general concept in question. This explanation is subsequently generalized to cover subject-predicate sentences outside the basic class, such as sentences expressing judgments about abstract entities. I shall not be concerned with this part of Strawson's explanation. One advantage Strawson claims for this explanation is that it brings out that, and how, the subject-predicate distinction reflects certain fundamental features of our thought about the world. Another, not unconnected, advantage he claims for it is that it enables us to explain certain 'purely formal or syntactical' differences between subjects and predicates-such differences as that a predicate has always a fixed number of argument-places, whereas there is nothing analogous to this with singular terms (subject-expressions), and that predicates take the form of verb-phrases, subjects the form of noun phrases. Such purely formal or syntactical differences, he claims, themselves stand in need of explanation, and so cannot provide the materials for an adequate explanation of the subject-predicate distinction. Perhaps Strawson does not explicitly assert that no purely formal or syntactical characterization of the subject-predicate distinction could constitute an adequate explanation of it; but he leaves us in little doubt that this is his view of the matter. (shrink)